Ownership Guided C to Rust Translation
نویسندگان
چکیده
Abstract Dubbed a safer C, Rust is modern programming language that combines memory safety and low-level control. This interesting combination has made very popular among developers there growing trend of migrating legacy codebases (very often in C) to Rust. In this paper, we present C translation approach centred around static ownership analysis. We design suite analyses infer models pointers automatically translate the into safe equivalents. The resulting tool, Crown , scales real-world (half million lines code less than 10 s) achieves high conversion rate.
منابع مشابه
Regulated Unproductive Splicing and Translation (RUST)
spliced gene may be subtle or profound. For example, the human Bcl-x gene can be processed to generate several isoforms with markedly different activities. The Bcl-x(L) isoform inhibits apoptosis, whereas Bcl-x(S) can induce apoptosis[10]. Many other genes are alternatively spliced to produce isoforms whose differences are only in non-coding regions; indeed, a recent study of alternative isofor...
متن کاملAdditions to the rust mycobiota of Iran
In the present study, two species of rosaceous rust fungi are reported from Iran. Ochropsora ariae is newly reported for Iranian rust mycobiota. This is the first report of a member of the genus Ochropsora from Iran. Kuehneola uredinis is reported for the second time from Iran since its first report in 1958 under the name K. albida. Pyrus boissieriana</em...
متن کاملC O - Ownership and C Ondominium
Co-ownership refers to legal relations in which two or more entities have equal rights to the use and enjoyment of property. Co-ownership relationships may satisfy the preferences of some owners, and predefined categories of co-ownership, as opposed to contractually defined relations, may allow parties to satisfy these preferences at relatively low cost. However, shared ownership results in coo...
متن کاملSyntactically Guided Neural Machine Translation
We investigate the use of hierarchical phrase-based SMT lattices in end-to-end neural machine translation (NMT). Weight pushing transforms the Hiero scores for complete translation hypotheses, with the full translation grammar score and full ngram language model score, into posteriors compatible with NMT predictive probabilities. With a slightly modified NMT beam-search decoder we find gains ov...
متن کاملconstruction and validation of translation metacognitive strategy questionnaire and its application to translation quality
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2023
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-031-37709-9_22